Library Services
Library Services
Circulation Service
Libraries & Opening Hours
Borrowing Rules and Overdue Fines
Membership
Book Delivery Service
Scan on Demand
Book Butler
Inter Library Loan Service
Chula Library Thai eBook
Special Collections
Thailand and ASEAN Information Center
King Chulalongkorn Digital Archives
Rare Books Collection
Indian Corner
Taiwan Resource Center for Chinese Studies
Global Development Learning Network
Media Service
Media Production Service
Chula Digital Signage Service
Media & Entertainment Corner
Media Training
Multimedia Lab
Chula E-Lecture
Facilities
Computer & WIFI
Group Study Room
Meeting Room
Prayer Room
Self-Check Machine & Book Drop
Self Photocopying / Printing / Scanning
Board Games & E-Sports
Research Support Service
Research Support Service
Search Tools
Chula Reference Databases
EDS
CUIR
TDC
UCTAL
Journal Link
CrossRef
Google Scholar
Research Tools
EndNote
Mendeley MIE Version
Plagiarism Checker
Turnitin
Akarawisut
Data Analytics
SciVal
Bibliometric
Journal Impact Factor
Scimago Journal & Country Rank
Citing and Referencing
References and Citations
APA
Information Literacy
Information Literacy skills clips
Single Search (e-Learning)
Source for Publishing
Where to publish
Writing Guide
Author services
Researcher Academy
CU Publications
CU Publications in SDGs
Research Help
Research Support Event
Guide to use Reference Databases
Newsletter
Contact Research Support Service
FAQ
EndNote FAQ
Turnitin FAQ
Library Information
Library Information
Library Regulations and Service Fee
Library Classification
Library Floor Plan
Library Branch
Map & Directions
Chulalinet
Book Donate
FAQ
About Us
About Us
Introduction (VDO Clip)
Organization Chart
Administration & Staff
History
Vision/Mission
Annual Report
Quality Assurance
Voice Of Customer
Library Cooperation
Library Visit
Interesting Statistics
Library Account
Annual Member
Log in
Sign Up
Deposit Refund
หน้าแรก
Library Catalog (OPAC)
Fitting, Melvin. author
's books list
No.
Title
Publish Year
1.
First-Order Logic and Automated Theorem Proving [electronic resource]
1990
2.
First-Order Logic and Automated Theorem Proving [electronic resource]
1996
3.
First-Order Modal Logic [electronic resource]
1998
